Berthomieu, Bernard: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

[IEEE 2008 11th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing - Orlando, FL, USA (2008.05.5-2008.05.7)] 2008 11th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC) - Abstract State Spaces for Time Petri Nets Analysis

Berthomieu, Bernard, Peres, Florent, Vernadat, Fran

Year:

2008

Language:

english

File:

PDF, 202 KB

english, 2008

2

Probing Cu I -Exchanged Zeolite with CO: DFT Modeling and Experiment

Jardillier, Nicolas, Villagomez, Enrique Ayala, Delahay, Gérard, Coq, Bernard, Berthomieu, Dorothée

Journal:

Journal of Physical Chemistry B

Year:

2006

Language:

english

File:

PDF, 409 KB

english, 2006

3

[IEEE 2014 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW) - Naples, Italy (2014.11.3-2014.11.6)] 2014 IEEE International Symposium on Software Reliability Engineering Workshops - Model-Checking Real-Time Properties of an Auto Flight Control System Function

Bourdil, Pierre-Alain, Berthomieu, Bernard, Jenn, Eric

Year:

2014

Language:

english

File:

PDF, 530 KB

english, 2014

4

Forty Years of Erratic Insecticide Resistance Evolution in the Mosquito Culex pipiens

Labbé, Pierrick, Berticat, Claire, Berthomieu, Arnaud, Unal, Sandra, Bernard, Clothilde, Weill, Mylène, Lenormand, Thomas

Journal:

Year:

2007

Language:

english

File:

PDF, 407 KB

english, 2007

5

Counting Petri net markings from reduction equations

Berthomieu, Bernard, Le Botlan, Didier, Dal Zilio, Silvano

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2019

Language:

english

File:

PDF, 1.69 MB

english, 2019

6

On the composition of time Petri nets

Florent Peres, Bernard Berthomieu, François Vernadat

Journal:

Discrete Event Dynamic Systems

Year:

2011

Language:

english

File:

PDF, 594 KB

english, 2011

7

Verifying parallel dataflow transformations with model checking and its application to FPGAs

Stewart, Robert, Berthomieu, Bernard, Garcia, Paulo, Ibrahim, Idris, Michaelson, Greg, Wallace, Andrew

Journal:

Journal of Systems Architecture

Year:

2019

Language:

english

File:

PDF, 3.43 MB

english, 2019

8

Experimental and theoretical approaches to the study of TMI-zeolite (TM = Fe, Co, Cu)

Dorothée Berthomieu, Nicolas Jardillier, Gérard Delahay, Bernard Coq, Annick Goursot

Journal:

Catalysis Today

Year:

2005

Language:

english

File:

PDF, 367 KB

english, 2005

9

[IEEE Distributed Methods in Verification and 2nd Intl Wkshp on High Performance Computational Systems Biology (PDMC-HiBi) - Enschede, TBD, Netherlands (2010.09.30-2010.10.1)] 2010 Ninth International Workshop on Parallel and Distributed Methods in Verification, and Second International Workshop on High Performance Computational Systems Biology - A General Lock-Free Algorithm for Parallel State Space Construction

Saad, Rodrigo T., Zilio, Silvano Dal, Berthomieu, Bernard

Year:

2010

Language:

english

File:

PDF, 824 KB

english, 2010

10

Mathemagix

van der Hoeven, Joris, Lecerf, Grégoire, Mourrain, Bernard, Trébuchet, Philippe, Berthomieu, Jérémy, Diatta, Daouda Niang, Mantzaflaris, Angelos

Journal:

ACM Communications in Computer Algebra

Year:

2012

Language:

english

File:

PDF, 161 KB

english, 2012

11

Verifying parallel dataflow transformations with model checking and its application to FPGAs

Stewart, Robert, Berthomieu, Bernard, Garcia, Paulo, Ibrahim, Idris, Michaelson, Greg, Wallace, Andrew

Journal:

Journal of Systems Architecture

Year:

2019

File:

PDF, 3.43 MB

2019

12

[ACM Press the 6th Conference - Gothenburg, Sweden (2018.06.02-2018.06.02)] Proceedings of the 6th Conference on Formal Methods in Software Engineering - FormaliSE '18 - Formal verification of complex robotic systems on resource-constrained platforms

Foughali, Mohammed, Berthomieu, Bernard, Zilio, Silvano Dal, Hladik, Pierre-Emmanuel, Ingrand, Félix, Mallet, Anthony

Year:

2018

Language:

english

File:

PDF, 656 KB

english, 2018

13

Counting Petri net markings from reduction equations

Berthomieu, Bernard, Le Botlan, Didier, Dal Zilio, Silvano

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2019

File:

PDF, 1.69 MB

2019

14

Tracking factors modulating cytoplasmic incompatibilities in the mosquito Culex pipiens

OLIVIER DURON, CLOTILDE BERNARD, SANDRA UNAL, ARNAUD BERTHOMIEU, CLAIRE BERTICAT, MYLÈNE WEILL

Journal:

Molecular Ecology

Year:

2006

Language:

english

File:

PDF, 154 KB

english, 2006

15

Reachability Problems and Abstract State Spaces for Time Petri Nets with Stopwatches

Bernard Berthomieu, Didier Lime, Olivier H. Roux, François Vernadat

Journal:

Discrete Event Dynamic Systems

Year:

2007

Language:

english

File:

PDF, 528 KB

english, 2007

16

Theoretical Modeling of a Copper Site in a Cu(II)−Y Zeolite

Berthomieu, Dorothée, Krishnamurty, Saïlaja, Coq, Bernard, Delahay, Gérard, Goursot, Annick

Journal:

Journal of Physical Chemistry B

Year:

2001

Language:

english

File:

PDF, 147 KB

english, 2001

17

[IEEE 2011 10th International Symposium on Parallel and Distributed Computing (ISPDC) - Cluj-Napoca, Romania (2011.07.6-2011.07.8)] 2011 10th International Symposium on Parallel and Distributed Computing - Mixed Shared-Distributed Hash Tables Approaches for Parallel State Space Construction

Saad, Rodrigo T., Zilio, Silvano Dal, Berthomieu, Bernard

Year:

2011

Language:

english

File:

PDF, 243 KB

english, 2011

18

The Influence of Cocations H, Na, and Ba on the Properties of Cu−Faujasite for the Selective Catalytic Reduction of NO by NH 3 : An O perando DRIFT Study

Coq, Bernard, Delahay, Gérard, Durand, Robert, Berthomieu, Dorothée, Ayala-Villagomez, Enrique

Journal:

Journal of Physical Chemistry B

Year:

2004

Language:

english

File:

PDF, 141 KB

english, 2004

19

Symmetry reduction for time Petri net state classes

Bourdil, Pierre-Alain, Berthomieu, Bernard, Dal Zilio, Silvano, Vernadat, François

Journal:

Science of Computer Programming

Year:

2016

Language:

english

File:

PDF, 1.09 MB

english, 2016

20

Selective Catalytic Reduction of NO by NH3 on Cu-Faujasite Catalysts: An Experimental and Quantum Chemical Approach

Gérard Delahay, Enrique Ayala Villagomez, Jean-Marie Ducere, Dorothée Berthomieu, Annick Goursot, Bernard Coq

Journal:

Year:

2002

Language:

english

File:

PDF, 160 KB

english, 2002

21

Theoretical evidence of the observed kinetic order dependence on temperature during the N2O decomposition over Fe-ZSM-5

Guesmi, Hazar, Berthomieu, Dorothee, Bromley, Bryan, Coq, Bernard, Kiwi-Minsker, Lioubov

Journal:

Physical Chemistry Chemical Physics

Year:

2010

Language:

english

File:

PDF, 1.14 MB

english, 2010

22

[ACM Press the 30th Annual ACM Symposium - Salamanca, Spain (2015.04.13-2015.04.17)] Proceedings of the 30th Annual ACM Symposium on Applied Computing - SAC '15 - Symmetry reduced state classes for time petri nets

Bourdil, Pierre-Alain, Berthomieu, Bernard, Zilio, Silvano Dal, Vernadat, François

Year:

2015

Language:

english

File:

PDF, 621 KB

english, 2015

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски